Syntactic Sugar
نویسنده
چکیده
A plea is made for being honest with TEX and not imposing alien structures upon it, other than via compatible extensions, or via (non-TEX) user interfaces to suit the publisher, the author, or the typist. This will facilitate the process of producing (complex) publications effectively, and typographcally of hgh-quality.
منابع مشابه
Reasonably Programmable Syntax
Programming languages commonly provide “syntactic sugar” that decreases the syntactic cost of working with certain standard library constructs. For example, Standard ML builds in syntactic sugar for constructing and pattern matching on lists. Third-party library providers are, justifiably, envious of this special arrangement. After all, it is not difficult to find other situations where library...
متن کاملResugaring: Lifting Languages through Syntactic Sugar
Syntactic sugar is pervasive in language technology. Programmers use it to shrink the size of a core language; to define domain-specific languages; and even to extend their language. Unfortunately, when syntactic sugar is eliminated by transformation, it obscures the relationship between the user’s source program and the program being evaluated. First, it obscures the evaluation steps the progr...
متن کاملSystem Description Aspects as Syntactic Sugar
Many different system description and specification languages are used in modern design flows to emphasize different aspects like modular architecture, multithreaded behavior, abstract action-oriented behavior, and the desired temporal properties. However, the use of many specialized languages complicates the development of seamless and robust design flows. In this paper, we show that synchrono...
متن کاملAnalogical Generalization and Retrieval for Denominal Verb Interpretation
The creativity of natural language poses a significant theoretical problem. One example of this is denominal verbs (those derived from nouns) such as spoon in “She spooned me some sugar”. Traditional generative approaches typically posit a unique entry in the lexicon for this usage, though this approach has difficulty scaling. Construction Grammar has evolved as a competing theory which instead...
متن کاملThe Temporal Logic Sugar
Since the introduction of temporal logic for the specification of computer programs [5], usability has been an issue, because a difficult-to-use formalism is a barrier to the wide adoption of formal methods. Our solution is Sugar, the temporal logic used by the RuleBase formal verification tool [2]. Sugar adds the power of regular expressions to CTL [4], as well as an extensive set of operators...
متن کامل